<option value="<?php echo $key?>"><?php echo htmlspecialchars($Module['name']);?> (<?php echo $key?>)</option>